- 2 402 202 книги
- Поиск
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)
Автор: Manfred Broy, Автор: Johannes Gruenbauer, Автор: David Harel, Автор: Tony Hoare
Размер книги: 6.45 Mb
Cyber-Physical Systems: Innovation durch softwareintensive eingebettete Systeme
Автор: Manfred Broy
Размер книги: 1.20 Mb
Modellbildung in der Informatik (Xpert.press)
Автор: Manfred Broy, Автор: Ralf Steinbrüggen
Размер книги: 21.33 Mb
Model-Based Testing of Reactive Systems, Advanced Lectures 2004
Автор: Manfred Broy, Автор: Bengt Jonsson, Автор: Joost-Pieter Katoen, Автор: Martin Leucker, Автор: Alexander PretschnerКатегория: CsLn_
Размер книги: 5.87 Mb
Model-Based Testing of Reactive Systems: Advanced Lectures
Автор: Manfred Broy, Автор: Bengt Jonsson, Автор: Joost-Pieter Katoen, Автор: Martin Leucker, Автор: Alexander Pretschner
Размер книги: 5.92 Mb
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin
Размер книги: 3.88 Mb
Formal Systems Specification: The RPC-Memory Specification Case Study
Автор: Manfred Broy, Автор: Stephan Merz, Автор: Katharina Spies
Размер книги: 4.41 Mb
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
Автор: Manfred Broy, Автор: Stefan Jähnichen
Размер книги: 3.92 Mb
Methods of Programming: Selected Papers on the CIP-Project
Автор: Manfred Broy, Автор: Martin Wirsing
Размер книги: 2.20 Mb
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin
Размер книги: 3.86 Mb
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ...
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Alexandre V. Zamulin
Размер книги: 9.42 Mb
Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings
Автор: Manfred Broy, Автор: Bernhard Rumpe
Размер книги: 3.20 Mb
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Alexandre Zamulin
Размер книги: 5.59 Mb
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, ... Papers
Автор: Manfred Broy, Автор: Alexandre V. Zamulin
Размер книги: 7.03 Mb
Automotive Software-Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,
Автор: Manfred Broy, Автор: Ingolf Krüger, Автор: Michael Meisinger
Размер книги: 4.65 Mb
